The McKinsey–Lemmon logic is barely canonical

The McKinsey – Lemmon logic is barely canonical

We study a canonical modal logic introduced by Lemmon, and axiomatised by an infinite sequence of axioms generalising McKinsey’s formula. We prove that the class of all frames for this logic is not closed under elementary equivalence, and so is non-elementary. We also show that any axiomatisation of the logic involves infinitely many non-canonical formulas. MSC2000: 03B45.

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

Barely Scratching the Surface

I tching or pruritus is an unpleasant sensation that evokes the desire or reflex to scratch. Itching in people with diabetes for the most part suggests a skin condition such as psoriasis, eczema, sunburn, athlete’s foot, hidradenitis suppurativa, pruritus vulvae from monilial infections, xerosis and diabetic eczema, necrobiosis diabeticorum, allergies to medications, drug eruptions, and many ot...

Barely Transitive Groups

This is a survey article on barely transitive groups. It also involves some recent results in the case of a non-locally finite barely transitive group.

Enhancing Barely Perceptible Targets